Axiomatizing first-order consequences in dependence logic
نویسندگان
چکیده
منابع مشابه
Axiomatizing first order consequences in dependence logic
Dependence logic, introduced in [8], cannot be axiomatized. However, first-order consequences of dependence logic sentences can be axiomatized, and this is what we shall do in this paper. We give an explicit axiomatization and prove the respective Completeness Theorem.
متن کاملAxiomatizing first-order consequences in independence logic
Independence logic, introduced in [5], cannot be effectively axiomatized. However, first-order consequences of independence logic sentences can be axiomatized. In this article we give an explicit axiomatization and prove that it is complete in this sense. The proof is a generalization of the similar result for dependence logic introduced in [8].
متن کاملAxiomatizing the monodic fragment of first-order temporal logic
It is known that even seemingly small fragments of the rst-order temporal logic over the natural numbers are not recursively enumerable. In this paper we show that the monodic (not monadic, where this result doesn't hold) fragment is an exception by constructing its nite Hilbert-style axiomatization. We also show that the monodic fragment with equality is not recursively axiomatizable.
متن کاملAxiomatizing Propositional Dependence Logics
We give sound and complete Hilbert-style axiomatizations for propositional dependence logic (PD), modal dependence logic (MDL), and extended modal dependence logic (EMDL) by extending existing axiomatizations for propositional logic and modal logic. In addition, we give novel labeled tableau calculi for PD, MDL, and EMDL. We prove soundness, completeness and termination for each of the labeled ...
متن کاملAxiomatizing Monoidal Logic: A Correction
The propositional monoidal logic ML of U. HÖHLE, determined through an algebraic semantics given by the class of all residuated lattices, was (claimed to be) reaxiomatized in the recent monograph [5]. We show that this reaxiomatization is defective and prove the independence of one of U. HÖHLE's original axioms from the axioms in [5]. Additionally the axiomatization in [5] is completed.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2013
ISSN: 0168-0072
DOI: 10.1016/j.apal.2013.05.006